export type Tp